from manim import *
from numpy import flip, insert

LV,QL,QH,JH='#75cfb8','#bbdfc8','#f0e5d8','#ffc478'

class p1(MovingCameraScene):
    def construct(self):
        # self.add(NumberPlane())
        # self.camera.frame.scale(1.1)
        circle=Circle(3)
        t=3/np.sqrt(2)
        a,b,m=[-t,t,0],[-t,-t,0],[-t,0,0]
        line_l=Line(LEFT*4,RIGHT*4)
        self.add(circle,Line(a,b),line_l,Line(a,ORIGIN),Line(b,ORIGIN),Dot(ORIGIN),
            MathTex('A').next_to(a,UL),
            MathTex('B').next_to(b,DL),
            MathTex('l').next_to(line_l),
            Angle(Line(m,ORIGIN),Line(m,a),elbow=True),
            MathTex('P').next_to(ORIGIN,DR)
        )
        self.wait()